Facet browsing currently unavailable
Page 1 of 751 results
Sort by: relevance publication year
Robust Vacuity for Branching Temporal Logic JOURNAL ARTICLE published January 2012 in ACM Transactions on Computational Logic |
Mechanizing the metatheory of LF JOURNAL ARTICLE published January 2011 in ACM Transactions on Computational Logic Research funded by Engineering and Physical Sciences Research Council (GR/S63205/01) |
JOURNAL ISSUE published 1 January 2010 in ACM Transactions on Computational Logic |
JOURNAL ISSUE published 1 May 2011 in ACM Transactions on Computational Logic |
JOURNAL ISSUE published 1 October 2012 in ACM Transactions on Computational Logic |
Constraint Propagation for First-Order Logic and Inductive Definitions JOURNAL ARTICLE published August 2013 in ACM Transactions on Computational Logic Research funded by Fonds Wetenschappelijk Onderzoek (G.0357.06, G.0489.10) |
JOURNAL ISSUE published 15 February 2018 in ACM Transactions on Computational Logic |
JOURNAL ISSUE published 1 April 2006 in ACM Transactions on Computational Logic |
JOURNAL ISSUE published 7 September 2019 in ACM Transactions on Computational Logic |
An Epistemic Strategy Logic JOURNAL ARTICLE published 31 October 2018 in ACM Transactions on Computational Logic |
Complexity of propositional nested circumscription and nested abnormality theories JOURNAL ARTICLE published April 2005 in ACM Transactions on Computational Logic |
The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games JOURNAL ARTICLE published 31 October 2022 in ACM Transactions on Computational Logic Research funded by Swedish Research Council (2015-01774) |
On Monotonic Determinacy and Rewritability for Recursive Queries and Views JOURNAL ARTICLE published 30 April 2023 in ACM Transactions on Computational Logic Research funded by Engineering and Physical Sciences Research Council (EP/M005852/1, EP/N014359/1, P/L012138/1) | National Science Centre (2016/23/B/ST6/01438) | Fondecyt (11200956) | National Center for Artificial Intelligence CENIA (FB210017) |
Revisiting quantification in autoepistemic logic JOURNAL ARTICLE published October 2002 in ACM Transactions on Computational Logic |
Computational properties of metaquerying problems JOURNAL ARTICLE published April 2003 in ACM Transactions on Computational Logic |
Editorial JOURNAL ARTICLE published October 2001 in ACM Transactions on Computational Logic |
Nondeterministic Phase Semantics and the Undecidability of Boolean BI JOURNAL ARTICLE published February 2013 in ACM Transactions on Computational Logic Research funded by Agence Nationale de la Recherche (ANR-11-BS02-011) |
The Complexity of Decomposing Modal and First-Order Theories JOURNAL ARTICLE published March 2015 in ACM Transactions on Computational Logic |
PSPACE bounds for rank-1 modal logics JOURNAL ARTICLE published February 2009 in ACM Transactions on Computational Logic Research funded by Deutsche Forschungsgemeinschaft (HasCASL (KR 1191/7-2)) |
First-order conditional logic for default reasoning revisited JOURNAL ARTICLE published October 2000 in ACM Transactions on Computational Logic |